Obtaining shorter regular expressions from finite-state automata

We consider the use of state elimination to construct shorter regular expressions from finite-state automata (FAs). Although state elimination is an intuitive method for computing regular expressions from FAs, the resulting regular expressions are often very long and complicated. We examine the minimization of FAs to obtain shorter expressions first. Then, we introduce vertical chopping based on bridge states and horizontal chopping based on the structural properties of given FAs. We prove that we should not eliminate bridge states until we eliminate all non-bridge states to obtain shorter regular expressions. In addition, we suggest heuristics for state elimination that leads to shorter regular expressions based on vertical chopping and horizontal chopping.     

主动约束层阻尼板结构动力学建模研究

将有限元法和GHM法相结合，给出了建立主动约束层阻尼（ACLD）板结构动力学模型的新方法。建模时，考虑到粘弹材料（VEM）的纵向位移影响，采用GHM方法描述VEM的本构关系，解决了VEM的力学特性随温度和频率变化的难点，避免因VEM的复杂本构关系而产生的微分积分方程。算例表明本文给出的建模方法是准确的，ACLD结构能够有效控制结构振动。     

Experiments of Fast Learning with High Order Boltzmann Machines

This work reports the results obtained with the application of High Order Boltzmann Machines without hidden units to construct classifiers for some problems that represent different learning paradigms. The Boltzmann Machine weight updating algorithm remains the same even when some of the units can take values in a discrete set or in a continuous interval. The absence of hidden units and the restriction to classification problems allows for the estimation of the connection statistics, without the computational cost involved in the application of simulated annealing. In this setting, the learning process can be sped up several orders of magnitude with no appreciable loss of quality of the results obtained.     

波动方程正演模型及应用

本采用声波方程，通过四阶有限差分近似，实现了复杂地质构造零炮距的数值模拟。中同时展示实际应用效果。     

隔河岩重力拱坝拱座深层处理平面有限元分析

清江隔河岩重力拱坝坝基地质条件复杂，软弱夹层，断裂构造多，岩溶发育，两岸拱座存在局部滑动问题。     

B—ISDN宽带UNI信令点到多点配置的实现

本文根据ＩＴＵ－Ｔ最新的Ｑ．２９７１协议，以及笔者所从事的实际课题，提出一整套Ｂ－ＩＳＤＮ第三层ＵＮＩ信令的软件实现策略，其特点是能同时满足用户对点到点以及点到多点广播这两种通信方式的要求，而且可以动态配置。     

无源微波遥感用于地震预报的实验研究

对无源微波遥感用于地震预报在理论研究的基础上对不同岩性不同结构的岩石试件进行了加载实验，测量了岩石试件的微波辐射随载荷的变化．实验得出：岩石试件的微波辐射能量随岩石应力状态变化而显著变化；而且，不同的波段变化的幅度不同；同一波段不同极化方式的波随应力变化的变化量也不同；微波辐射能量的变化能够被卫星微波遥感探测器探测到．实验还发现，岩石试件临破裂前出现明显的微波辐射异常．     

环件轧制中晶粒变化的计算机模拟

金属微观结构变化影响产品机械性能。本文将金属再结晶数学模型与三维热刚塑性有限元结合起来进行模拟计算，获得了环件轧制中晶粒变化的三维分布规律，及与以往不同的轧制力和力矩变化。所用方法有普遍适用性。     

Finite element analysis of partly wrinkled reinforced prestressed membranes

Wrinkling is a well known phenomenon experimented by tension membranes in Civil Engineering applications. This paper will present an efficient numerical technique for the computational simulation of such wrinkles in a prestressed membrane. In particular, the relaxed energy approach (Pipkin in IMA J Appl Math 36:85–99, 1986) is particularized for prestressed membranes (Gil in Textile composites and inflatable structures, CIMNE, 2003) undergoing moderate strains. Wrinkling conditions in terms of the Euler-Lagrange finite deformation tensor along principal directions will be obtained. This will provide a framework to describe properly the initial instant when wrinkles start to be encountered in a prestressed Saint Venant–Kirchhoff hyperelastic membrane. Subsequently, a modified Helmholtz’s free energy functional will be introduced with the purpose of describing the modified constitutive behaviour of the continuum after the onset of wrinkling. Consistent derivations of the stress tensor as well as the constitutive tensor will de depicted. The results will be particularized for membranes and cables in a Finite Element discretization basis. Some numerical examples will prove the accuracy and robustness of the described algorithm.     

Algebraic properties of cryptosystem PGM

In the late 1970s Magliveras invented a private-key cryptographic system calledPermutation Group Mappings (PGM). PGM is based on the prolific existence of certain kinds of factorization sets, calledlogarithmic signatures, for finite permutation groups. PGM is an endomorphic system with message space ℤ_|G| for a given finite permutation groupG. In this paper we prove several algebraic properties of PGM. We show that the set of PGM transformations ℐ _G is not closed under functional composition and hence not a group. This set is 2-transitive on ℤ_|G| if the underlying groupG is not hamiltonian and not abelian. Moreover, if the order ofG is not a power of 2, then the set of transformations contains an odd permutation. An important consequence of these results is that the group generated by the set of transformations is nearly always the symmetric group ℒ_|G|. Thus, allowing multiple encryption, any permutation of the message space is attainable. This property is one of the strongest security conditions that can be offered by a private-key encryption system. S. S. Magliveras was supported in part by NSF/NSA Grant Number MDA904-82-H0001, by U.S. West Communications, and by the Center for Communication and Information Science of the University of Nebraska.